DefinitionWindowBG:               (R:170,G:255,B:255,H:127,L:212,S:255)
DefinitionListWindowBG:           (R:230,G:190,B:40,H:33,L:135,S:201)
HintWindowBG:                     (R:170,G:220,B:170,H:84,L:194,S:106)
ProjectCenterBG:                  (R:120,G:165,B:222,H:151,L:171,S:154)
ProofWindowBG:                    (R:0,G:0,B:0,H:0,L:0,S:0)
SectionCenterBG:                  (R:217,G:176,B:183,H:247,L:196,S:89)
TacticDialogBG:                   (R:0,G:0,B:0,H:0,L:0,S:0)
TacticListBG:                     (R:180,G:225,B:140,H:64,L:182,S:149)
TheoremWindowBG:                  (R:0,G:0,B:0,H:0,L:0,S:0)
TheoremListWindowBG:              (R:170,G:210,B:100,H:57,L:154,S:140)
Start with about:                 False
Show |-bars:                      True
Hints view threshold:             1
Hints apply threshold:            101
_WinTacticList0                   "List of tactics (1)" Absurd AbsurdEquality Apply Assume Case Cases ChooseCase Compare Contradiction Cut Definedness Discard Exact ExFalso Extensionality Generalize Induction Injective Introduce IntArith IntCompare MoveQuantors Opaque Reduce RefineUndefinedness Reflexive Rename Rewrite Specialize Split SplitCase SplitIff Symmetric Transitive Transparent Trivial Uncurry Undo Witness
_WinTacticList1                   "List of tactics (2)" 
_WinTacticList2                   "List of tactics (3)" Absurd AbsurdEquality Apply Assume Case Cases ChooseCase Compare Contradiction Cut Definedness Discard Exact ExFalso ExpandFun Extensionality Generalize Induction Injective Introduce IntArith IntCompare MoveInCase MoveQuantors Opaque Reduce RefineUndefinedness Reflexive RemoveCase Rename Rewrite Specialize Split SplitCase SplitIff Symmetric Transitive Transparent Trivial Uncurry Undo Witness
_WinTacticList3                   "List of tactics (4)" 
_WinTacticList4                   "List of tactics (5)" 
WinHints:                         CLOSED 262x12 748x91
WinProjectCenter:                 OPENED 0x1 164x439
WinTacticList2:                   CLOSED 565x175 203x427
WinSectionCenter:                 OPENED 0x576 164x256
WinTacticList0:                   OPENED 1161x1 199x805
WinProof:                         CLOSED 205x259 917x412

